" Mario Coppo" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Theoretical Computer Science, 9 conf., ICTCS 2005

Автор: Mario Coppo, Автор: Elena Lodi, Автор: G. Michele Pinna

Категория: CsLn_

Размер книги: 3.87 Mb

Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers

Автор: Stefano Berardi, Автор: Mario Coppo

Размер книги: 2.95 Mb

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Автор: Stefano Berardi, Автор: Mario Coppo, Автор: Ferruccio Damiani

Размер книги: 3.44 Mb